home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / lisp / blt1.000 / blt1 / blt-1.7-for-STk / config.status < prev    next >
Encoding:
Text File  |  1995-02-12  |  1.3 KB  |  57 lines
  1. #!/bin/sh
  2. # Generated automatically by configure.
  3. # Run this file to recreate the current configuration.
  4. # This directory was configured as follows,
  5. # on host kaolin:
  6. #
  7. # configure 
  8.  
  9. for arg
  10. do
  11.   case "$arg" in
  12.     -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
  13.     echo running ${CONFIG_SHELL-/bin/sh} configure 
  14.     exec ${CONFIG_SHELL-/bin/sh} configure  ;;
  15.     *) echo "Usage: config.status --recheck" 2>&1; exit 1 ;;
  16.   esac
  17. done
  18.  
  19. trap 'rm -f Makefile; exit 1' 1 3 15
  20. CPP='cc -E'
  21. STKDIR='..'
  22. LIBS=' -lnsl -ldl'
  23. srcdir='.'
  24. DEFS=' -DHAVE_UNISTD_H=1'
  25. prefix=''
  26. exec_prefix=''
  27. prsub=''
  28. extrasub=''
  29.  
  30. top_srcdir=$srcdir
  31.  
  32. CONFIG_FILES=${CONFIG_FILES-"Makefile"}
  33. for file in .. ${CONFIG_FILES}; do if test "x$file" != x..; then
  34.   srcdir=$top_srcdir
  35.   # Remove last slash and all that follows it.  Not all systems have dirname.
  36.   dir=`echo $file|sed 's%/[^/][^/]*$%%'`
  37.   if test "$dir" != "$file"; then
  38.     test "$top_srcdir" != . && srcdir=$top_srcdir/$dir
  39.     test ! -d $dir && mkdir $dir
  40.   fi
  41.   echo creating $file
  42.   rm -f $file
  43.   echo "# Generated automatically from `echo $file|sed 's|.*/||'`.in by configure." > $file
  44.   sed -e "
  45. $prsub
  46. $extrasub
  47. s%@CPP@%$CPP%g
  48. s%@STKDIR@%$STKDIR%g
  49. s%@LIBS@%$LIBS%g
  50. s%@srcdir@%$srcdir%g
  51. s%@DEFS@%$DEFS%
  52. " $top_srcdir/${file}.in >> $file
  53. fi; done
  54.  
  55.  
  56. exit 0
  57.